Prove that if 5x - 7 is odd